Diego Garbervetsky: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Quantitative dynamic-memory analysis for Java

Diego Garbervetsky, Sergio Yovine, Víctor Braberman, Martín Rouaux, Alejandro Taboada

Journal:

Concurrency and Computation: Practice and Experience

Year:

2011

Language:

english

File:

PDF, 349 KB

english, 2011

2

Developing tools as plug-ins: TOPI 2012 special issue

Garbervetsky, Diego, Kim, Sunghun

Journal:

Software: Practice and Experience

Year:

2014

Language:

english

File:

PDF, 32 KB

english, 2014

3

Report from 2nd international workshop on developing tools as plug-ins (TOPI 2012)

Garbervetsky, Diego, Kim, Sunghun

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2012

Language:

english

File:

PDF, 123 KB

english, 2012

4

[IEEE 2017 IEEE/ACM 12th International Workshop on Automation of Software Testing (AST) - Buenos Aires, Argentina (2017.5.20-2017.5.21)] 2017 IEEE/ACM 12th International Workshop on Automation of Software Testing (AST) - High-Coverage Testing of Navigation Models in Android Applications

Paulovsky, Fernando, Pavese, Esteban, Garbervetsky, Diego

Year:

2017

Language:

english

File:

PDF, 209 KB

english, 2017

5

[IEEE 2019 IEEE/ACM 41st International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER) - Montreal, QC, Canada (2019.5.25-2019.5.31)] 2019 IEEE/ACM 41st International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER) - Simulator-Based Diff-Time Performance Testing

Postolski, Ivan, Braberman, Victor, Garbervetsky, Diego, Uchitel, Sebastian

Year:

2019

Language:

english

File:

PDF, 410 KB

english, 2019

6

Integrated program verification tools in education

Guido de Caso, Diego Garbervetsky, Daniel Gorín

Journal:

Software: Practice and Experience

Year:

2012

Language:

english

File:

PDF, 1.75 MB

english, 2012

7

TacoFlow: optimizing SAT program verification using dataflow analysis

Cuervo Parrino, Bruno, Galeotti, Juan Pablo, Garbervetsky, Diego, Frias, Marcelo F.

Journal:

Software & Systems Modeling

Year:

2015

Language:

english

File:

PDF, 1.08 MB

english, 2015

8

Summary-based inference of quantitative bounds of live heap objects

Braberman, Víctor, Garbervetsky, Diego, Hym, Samuel, Yovine, Sergio

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 1.29 MB

english, 2014

9

[IEEE 2013 35th International Conference on Software Engineering (ICSE) - San Francisco, CA, USA (2013.05.18-2013.05.26)] 2013 35th International Conference on Software Engineering (ICSE) - 3rd International workshop on developing tools as plug-ins (TOPI 2013)

Barnett, Michael, Nordio, Martin, Bishop, Judith, Breitman, Karin K., Garbervetsky, Diego

Year:

2013

Language:

english

File:

PDF, 72 KB

english, 2013

10

[IEEE 2009 IEEE 31st International Conference on Software Engineering - Vancouver, BC, Canada (2009.05.16-2009.05.24)] 2009 IEEE 31st International Conference on Software Engineering - Validation of contracts using enabledness preserving finite state abstractions

de Caso, Guido, Braberman, Victor, Garbervetsky, Diego, Uchitel, Sebastian

Year:

2009

Language:

english

File:

PDF, 199 KB

english, 2009

11

[ACM Press the 7th international symposium - Tucson, AZ, USA (2008.06.07-2008.06.08)] Proceedings of the 7th international symposium on Memory management - ISMM '08 - Parametric prediction of heap memory requirements

Braberman, Víctor, Fernández, Federico, Garbervetsky, Diego, Yovine, Sergio

Year:

2008

Language:

english

File:

PDF, 451 KB

english, 2008

12

Enabledness-based program abstractions for behavior validation

Caso, Guido De, Braberman, Victor, Garbervetsky, Diego, Uchitel, Sebastian

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2013

Language:

english

File:

PDF, 468 KB

english, 2013

13

[ACM Press Proceeding of the 33rd international conference - Waikiki, Honolulu, HI, USA (2011.05.21-2011.05.28)] Proceeding of the 33rd international conference on Software engineering - ICSE '11 - Program abstractions for behaviour validation

de Caso, Guido, Braberman, Víctor, Garbervetsky, Diego, Uchitel, Sebastián

Year:

2011

Language:

english

File:

PDF, 559 KB

english, 2011

14

[ACM Press Proceeding of the 1st workshop - Waikiki, Honolulu, HI, USA (2011.05.28-2011.05.28)] Proceeding of the 1st workshop on Developing tools as plug-ins - TOPI '11 - Pest

de Caso, Guido, Garbervetsky, Diego, Gorín, Daniel

Year:

2011

Language:

english

File:

PDF, 320 KB

english, 2011

15

[ACM Press Proceeding of the 1st workshop - Waikiki, Honolulu, HI, USA (2011.05.28-2011.05.28)] Proceeding of the 1st workshop on Developing tools as plug-ins - TOPI '11 - Resource usage contracts for .NET

Tapicer, Jonathan, Garbervetsky, Diego, Rouaux, Martin

Year:

2011

Language:

english

File:

PDF, 174 KB

english, 2011

16

[ACM Press the 2006 OOPSLA workshop - Portland, Oregon (2006.10.22-2006.10.23)] Proceedings of the 2006 OOPSLA workshop on eclipse technology eXchange - eclipse '06 - A toolsuite for the verification of real-time systems in Eclipse

Cavatorta, Lucía, de Caso, Guido, Ferrari, Andrés, Braberman, Víctor, Garbervetsky, Diego, Kicillof, Nicolás, Schapachnik, Fernando, Olivero, Alfredo

Year:

2006

Language:

english

File:

PDF, 586 KB

english, 2006

17

[ACM Press the 7th International Workshop - Madrid, Spain (2009.09.23-2009.09.25)] Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems - JTRES '09 - On transforming Java-like programs into memory-predictable code

Garbervetsky, Diego, Yovine, Sergio, Braberman, Víctor, Rouaux, Martín, Taboada, Alejandro

Year:

2009

Language:

english

File:

PDF, 745 KB

english, 2009

18

[ACM Press the 2005 OOPSLA workshop - San Diego, California (2005.10.16-2005.10.17)] Proceedings of the 2005 OOPSLA workshop on Eclipse technology eXchange - eclipse '05 - JScoper

Ferrari, Andrés, Garbervetsky, Diego, Braberman, Victor, Listingart, Pablo, Yovine, Sergio

Year:

2005

Language:

english

File:

PDF, 551 KB

english, 2005

19

[ACM Press Proceeding of the 1st workshop - Waikiki, Honolulu, HI, USA (2011.05.28-2011.05.28)] Proceeding of the 1st workshop on Developing tools as plug-ins - TOPI '11 - Contractor.NET

Zoppi, Edgardo, Braberman, Víctor, de Caso, Guido, Garbervetsky, Diego, Uchitel, Sebastián

Year:

2011

Language:

english

File:

PDF, 351 KB

english, 2011

20

[ACM Press 2015 ACM International Symposium - Pittsburgh, PA, USA (2015.10.25-2015.10.30)] 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!) - Onward! 2015 - Towards fully reflective environments

Chari, Guido, Garbervetsky, Diego, Marr, Stefan, Ducasse, Stéphane

Year:

2015

Language:

english

File:

PDF, 388 KB

english, 2015

21

[ACM Press the 2017 11th Joint Meeting - Paderborn, Germany (2017.09.04-2017.09.08)] Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2017 - Static analysis for optimizing big data queries

Garbervetsky, Diego, Pavlinovic, Zvonimir, Barnett, Michael, Musuvathi, Madanlal, Mytkowicz, Todd, Zoppi, Edgardo

Year:

2017

Language:

english

File:

PDF, 254 KB

english, 2017

22

[ACM Press the 2017 11th Joint Meeting - Paderborn, Germany (2017.09.04-2017.09.08)] Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2017 - Toward full elasticity in distributed static analysis: the case of callgraph analysis

Garbervetsky, Diego, Zoppi, Edgardo, Livshits, Benjamin

Year:

2017

Language:

english

File:

PDF, 837 KB

english, 2017

23

[ACM Press the 12th Symposium - Amsterdam, Netherlands (2016.11.01-2016.11.01)] Proceedings of the 12th Symposium on Dynamic Languages - DLS 2016 - Building efficient and highly run-time adaptable virtual machines

Chari, Guido, Garbervetsky, Diego, Marr, Stefan

Year:

2016

Language:

english

File:

PDF, 332 KB

english, 2016

24

[IEEE 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) - Urbana, IL (2017.10.30-2017.11.3)] 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) - Model checker execution reports

Castano, Rodrigo, Braberman, Victor, Garbervetsky, Diego, Uchitel, Sebastian

Year:

2017

Language:

english

File:

PDF, 213 KB

english, 2017

25

[IEEE 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE) - Buenos Aires (2017.5.20-2017.5.28)] 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C) - Fully-reflective VMS for ruling software adaptation

Chari, Guido, Garbervetsky, Diego, Marr, Stefan

Year:

2017

Language:

english

File:

PDF, 506 KB

english, 2017

26

Fully Reflective Execution Environments

Chari, Guido, Garbervetsky, Diego, Marr, Stefan, Ducasse, Stephane

Journal:

IEEE Transactions on Software Engineering

Year:

2018

Language:

english

File:

PDF, 3.51 MB

english, 2018

27

[ACM Press the 12th Workshop - Barcelona, Spain (2017.06.19-2017.06.19)] Proceedings of the 12th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems - ICOOOLPS'17 - A Metaobject Protocol for Optimizing Application-Specific Run-Time Variability

Chari, Guido, Garbervetsky, Diego, Marr, Stefan

Year:

2017

File:

PDF, 131 KB

2017

28

[IEEE 2019 IEEE/ACM 41st International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER) - Montreal, QC, Canada (2019.5.25-2019.5.31)] 2019 IEEE/ACM 41st International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER) - Simulator-Based Diff-Time Performance Testing

Postolski, Ivan, Braberman, Victor, Garbervetsky, Diego, Uchitel, Sebastian

Year:

2019

File:

PDF, 410 KB

2019